floating point format - German English Dictionary